#ifndef __BOOT__
#define __BOOT__

#include "types.h"


void kset_global(uint32_t a);
uint32_t kget_global();

uint32_t foo(uint32_t a, uint32_t b);   

uint32_t printLCD(uint32_t a, uint32_t b);





#endif

